proofs with formulas